home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test55.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  314 b   |  16 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :- a1(X).
  5. a1(X) :- a2(X,Y).
  6. a2(X,Y) :- a3(X,Y,Z).
  7. a3(X,Y,Z) :- a4(X,Y,Z,W).
  8. a4(X,Y,Z,W) :-     R = a(Z,W), d(Z,W), c(Z,Y), b(X), d(X,Y),
  9.     set(2,a(Z,W)), fail.
  10. a4(_,_,_,_) :- access(2, Z), write(Z), nl.
  11.  
  12. a(_).
  13. b(1).
  14. c(y(X),X).
  15. d(X,X).
  16.